\subsection{Adaptation or extension of the model}
Because our proposed formal model was sufficiently correct on the second deliverable, it was not necessary to adapt our model.